[next] [prev] [prev-tail] [tail] [up]

2.2.8 Integrals 701 to 800

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 87 117 123 126 169 0 0 280

N.S.

1 0.95 1.27 1.34 1.37 1.84 0.00 0.00 3.04

time (sec)

N/A 0.340 0.230 2.260 0.261 0.264 0.000 0.000 12.302

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 87 66 123 126 160 0 0 242

N.S.

1 0.95 0.72 1.34 1.37 1.74 0.00 0.00 2.63

time (sec)

N/A 0.337 0.134 1.658 0.240 0.281 0.000 0.000 11.529

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 104 104 0 0 0 0 0 0

N.S.

1 0.95 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.382 0.178 0.000 0.000 0.000 0.000 0.000 0.000

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

160 156 108 0 0 0 0 0 0

N.S.

1 0.98 0.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.369 0.151 0.000 0.000 0.000 0.000 0.000 0.000

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 210 518 111 705 110 0 309 303

N.S.

1 1.00 2.48 0.53 3.37 0.53 0.00 1.48 1.45

time (sec)

N/A 0.985 9.532 0.551 0.307 0.280 0.000 0.337 13.229

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 180 573 133 624 100 0 270 263

N.S.

1 0.98 3.13 0.73 3.41 0.55 0.00 1.48 1.44

time (sec)

N/A 0.804 8.215 0.454 0.316 0.277 0.000 0.322 13.262

Problem 707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 170 533 111 583 90 5501 257 251

N.S.

1 1.03 3.23 0.67 3.53 0.55 33.34 1.56 1.52

time (sec)

N/A 0.792 10.028 0.392 0.431 0.280 118.032 0.342 13.209

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 140 479 100 522 80 4490 231 224

N.S.

1 1.01 3.45 0.72 3.76 0.58 32.30 1.66 1.61

time (sec)

N/A 0.656 6.761 0.346 0.327 0.265 77.710 0.302 13.429

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 127 481 100 501 70 3888 231 225

N.S.

1 1.05 3.98 0.83 4.14 0.58 32.13 1.91 1.86

time (sec)

N/A 0.590 7.299 0.285 0.304 0.283 50.201 0.304 13.596

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 131 102 90 402 104 0 195 305

N.S.

1 0.92 0.71 0.63 2.81 0.73 0.00 1.36 2.13

time (sec)

N/A 0.541 0.780 0.379 0.396 0.287 0.000 0.306 12.857

Problem 711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 130 146 129 379 124 0 199 296

N.S.

1 0.95 1.07 0.94 2.77 0.91 0.00 1.45 2.16

time (sec)

N/A 0.471 1.288 0.430 0.294 0.268 0.000 0.319 9.946

Problem 712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 149 179 184 383 148 0 216 303

N.S.

1 0.99 1.19 1.23 2.55 0.99 0.00 1.44 2.02

time (sec)

N/A 0.497 1.079 0.497 0.301 0.286 0.000 0.357 10.734

Problem 713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 132 197 167 362 168 0 228 290

N.S.

1 0.90 1.35 1.14 2.48 1.15 0.00 1.56 1.99

time (sec)

N/A 0.501 1.283 0.435 0.304 0.284 0.000 0.355 10.234

Problem 714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 151 252 192 340 191 0 224 286

N.S.

1 1.01 1.68 1.28 2.27 1.27 0.00 1.49 1.91

time (sec)

N/A 0.483 1.332 0.434 0.312 0.273 0.000 0.348 10.256

Problem 715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 135 264 179 319 211 0 217 279

N.S.

1 0.98 1.91 1.30 2.31 1.53 0.00 1.57 2.02

time (sec)

N/A 0.596 1.590 0.378 0.340 0.291 0.000 0.361 10.085

Problem 716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 141 317 178 298 236 0 224 413

N.S.

1 0.99 2.23 1.25 2.10 1.66 0.00 1.58 2.91

time (sec)

N/A 0.908 1.714 0.415 0.381 0.274 0.000 0.379 12.090

Problem 717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 110 284 168 315 198 0 244 387

N.S.

1 1.04 2.68 1.58 2.97 1.87 0.00 2.30 3.65

time (sec)

N/A 0.614 0.635 0.393 0.215 0.264 0.000 0.380 11.947

Problem 718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 139 291 226 354 216 0 274 435

N.S.

1 1.04 2.17 1.69 2.64 1.61 0.00 2.04 3.25

time (sec)

N/A 0.815 1.915 0.417 0.217 0.263 0.000 0.380 12.887

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 154 313 226 355 249 0 273 435

N.S.

1 1.01 2.06 1.49 2.34 1.64 0.00 1.80 2.86

time (sec)

N/A 0.881 2.379 0.477 0.219 0.280 0.000 0.357 13.430

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 180 386 252 394 272 0 303 483

N.S.

1 1.02 2.19 1.43 2.24 1.55 0.00 1.72 2.74

time (sec)

N/A 1.000 2.528 0.524 0.206 0.287 0.000 0.376 15.077

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 192 187 272 475 302 0 360 579

N.S.

1 0.99 0.96 1.40 2.45 1.56 0.00 1.86 2.98

time (sec)

N/A 1.053 3.483 0.619 0.219 0.301 0.000 0.366 17.099

Problem 722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 207 638 133 648 110 0 270 264

N.S.

1 1.02 3.14 0.66 3.19 0.54 0.00 1.33 1.30

time (sec)

N/A 0.655 8.085 0.518 0.315 0.296 0.000 0.379 12.383

Problem 723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 189 585 122 605 100 0 257 250

N.S.

1 1.02 3.16 0.66 3.27 0.54 0.00 1.39 1.35

time (sec)

N/A 0.667 5.638 0.426 0.321 0.283 0.000 0.338 12.414

Problem 724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 163 430 89 542 90 0 231 225

N.S.

1 1.03 2.70 0.56 3.41 0.57 0.00 1.45 1.42

time (sec)

N/A 0.576 3.793 0.385 0.390 0.296 0.000 0.348 12.161

Problem 725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 145 481 100 479 80 3934 205 198

N.S.

1 1.03 3.41 0.71 3.40 0.57 27.90 1.45 1.40

time (sec)

N/A 0.587 3.230 0.357 0.310 0.258 124.813 0.345 13.001

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 135 418 89 436 70 3196 192 186

N.S.

1 1.09 3.37 0.72 3.52 0.56 25.77 1.55 1.50

time (sec)

N/A 0.597 3.774 0.304 0.361 0.277 83.563 0.318 13.995

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 123 93 79 333 94 0 156 262

N.S.

1 1.03 0.78 0.66 2.80 0.79 0.00 1.31 2.20

time (sec)

N/A 0.479 1.172 0.386 0.316 0.259 0.000 0.315 11.378

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 120 128 119 348 113 0 186 279

N.S.

1 1.03 1.10 1.03 3.00 0.97 0.00 1.60 2.41

time (sec)

N/A 0.551 1.806 0.359 0.318 0.281 0.000 0.328 9.547

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 101 158 140 330 140 0 168 270

N.S.

1 1.04 1.63 1.44 3.40 1.44 0.00 1.73 2.78

time (sec)

N/A 0.474 2.151 0.394 0.311 0.286 0.000 0.329 9.937

Problem 730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 101 184 155 306 161 0 194 253

N.S.

1 1.04 1.90 1.60 3.15 1.66 0.00 2.00 2.61

time (sec)

N/A 0.479 2.450 0.382 0.307 0.281 0.000 0.350 9.821

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 120 219 127 263 187 0 159 232

N.S.

1 1.03 1.89 1.09 2.27 1.61 0.00 1.37 2.00

time (sec)

N/A 0.505 2.146 0.350 0.302 0.272 0.000 0.354 9.955

Problem 732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 122 254 152 258 207 0 195 365

N.S.

1 1.03 2.15 1.29 2.19 1.75 0.00 1.65 3.09

time (sec)

N/A 0.525 1.650 0.362 0.314 0.269 0.000 0.350 10.666

Problem 733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 136 145 174 275 183 0 215 339

N.S.

1 1.03 1.10 1.32 2.08 1.39 0.00 1.63 2.57

time (sec)

N/A 0.559 2.563 0.408 0.211 0.260 0.000 0.365 10.838

Problem 734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 128 251 200 314 216 0 245 387

N.S.

1 1.03 2.02 1.61 2.53 1.74 0.00 1.98 3.12

time (sec)

N/A 0.409 1.987 0.461 0.223 0.267 0.000 0.362 11.000

Problem 735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 180 291 214 355 239 0 273 435

N.S.

1 1.02 1.65 1.22 2.02 1.36 0.00 1.55 2.47

time (sec)

N/A 0.614 2.134 0.570 0.223 0.284 0.000 0.380 12.776

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 172 313 200 314 269 0 245 387

N.S.

1 1.02 1.86 1.19 1.87 1.60 0.00 1.46 2.30

time (sec)

N/A 0.630 2.903 0.510 0.218 0.281 0.000 0.379 13.583

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 222 353 260 435 294 0 331 531

N.S.

1 1.02 1.62 1.19 2.00 1.35 0.00 1.52 2.44

time (sec)

N/A 0.687 3.057 0.596 0.215 0.275 0.000 0.407 14.986

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 214 186 272 474 324 0 361 579

N.S.

1 1.02 0.89 1.30 2.26 1.54 0.00 1.72 2.76

time (sec)

N/A 0.666 4.746 0.686 0.225 0.294 0.000 0.391 17.563

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 165 482 100 499 90 0 218 212

N.S.

1 1.02 2.99 0.62 3.10 0.56 0.00 1.35 1.32

time (sec)

N/A 0.671 3.000 0.398 0.431 0.258 0.000 0.368 12.602

Problem 740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 137 429 89 416 80 0 179 172

N.S.

1 1.03 3.23 0.67 3.13 0.60 0.00 1.35 1.29

time (sec)

N/A 0.603 8.120 0.312 0.344 0.262 0.000 0.339 13.446

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 146 366 78 393 70 2535 179 173

N.S.

1 1.11 2.79 0.60 3.00 0.53 19.35 1.37 1.32

time (sec)

N/A 0.632 1.726 0.287 0.302 0.266 130.264 0.333 13.107

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 103 80 65 269 84 0 129 222

N.S.

1 1.04 0.81 0.66 2.72 0.85 0.00 1.30 2.24

time (sec)

N/A 0.465 0.968 0.346 0.307 0.274 0.000 0.325 11.368

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 96 126 95 285 104 0 147 231

N.S.

1 1.04 1.37 1.03 3.10 1.13 0.00 1.60 2.51

time (sec)

N/A 0.453 1.541 0.395 0.329 0.271 0.000 0.328 10.526

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 102 144 137 267 130 0 172 228

N.S.

1 1.04 1.47 1.40 2.72 1.33 0.00 1.76 2.33

time (sec)

N/A 0.476 1.380 0.419 0.321 0.279 0.000 0.351 9.678

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 96 132 127 242 150 0 157 219

N.S.

1 1.04 1.43 1.38 2.63 1.63 0.00 1.71 2.38

time (sec)

N/A 0.486 2.686 0.363 0.307 0.268 0.000 0.371 9.520

Problem 746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 101 165 124 218 164 0 166 315

N.S.

1 1.04 1.70 1.28 2.25 1.69 0.00 1.71 3.25

time (sec)

N/A 0.533 2.502 0.378 0.308 0.265 0.000 0.373 10.771

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 104 189 148 235 169 0 186 291

N.S.

1 1.04 1.89 1.48 2.35 1.69 0.00 1.86 2.91

time (sec)

N/A 0.560 2.180 0.388 0.226 0.278 0.000 0.399 10.460

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 128 242 174 274 196 0 216 339

N.S.

1 1.03 1.95 1.40 2.21 1.58 0.00 1.74 2.73

time (sec)

N/A 0.582 2.229 0.414 0.217 0.284 0.000 0.390 10.352

Problem 749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 144 251 192 315 226 0 244 387

N.S.

1 1.03 1.79 1.37 2.25 1.61 0.00 1.74 2.76

time (sec)

N/A 0.400 1.929 0.450 0.219 0.265 0.000 0.403 11.799

Problem 750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 170 317 226 354 249 0 274 435

N.S.

1 1.02 1.91 1.36 2.13 1.50 0.00 1.65 2.62

time (sec)

N/A 0.630 6.009 0.530 0.250 0.266 0.000 0.421 12.297

Problem 751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 86 82 86 75 130 0 105 257

N.S.

1 1.05 1.00 1.05 0.91 1.59 0.00 1.28 3.13

time (sec)

N/A 0.407 0.493 0.330 0.310 0.269 0.000 0.293 16.245

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 74 63 63 62 104 0 90 160

N.S.

1 1.14 0.97 0.97 0.95 1.60 0.00 1.38 2.46

time (sec)

N/A 0.383 0.053 0.245 0.327 0.270 0.000 0.291 12.677

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 48 47 52 39 80 0 81 99

N.S.

1 1.23 1.21 1.33 1.00 2.05 0.00 2.08 2.54

time (sec)

N/A 0.410 0.012 0.137 0.342 0.270 0.000 0.283 9.742

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 28 36 26 32 60 0 29 24

N.S.

1 1.04 1.33 0.96 1.19 2.22 0.00 1.07 0.89

time (sec)

N/A 0.288 0.009 0.082 0.317 0.249 0.000 0.284 9.587

Problem 755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 33 56 41 48 108 0 34 35

N.S.

1 0.92 1.56 1.14 1.33 3.00 0.00 0.94 0.97

time (sec)

N/A 0.324 0.142 0.214 0.226 0.274 0.000 0.296 10.450

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 42 68 61 59 165 0 87 77

N.S.

1 0.88 1.42 1.27 1.23 3.44 0.00 1.81 1.60

time (sec)

N/A 0.379 0.176 0.263 0.218 0.252 0.000 0.302 9.993

Problem 757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 73 172 83 84 261 0 102 113

N.S.

1 0.97 2.29 1.11 1.12 3.48 0.00 1.36 1.51

time (sec)

N/A 0.407 1.321 0.255 0.224 0.270 0.000 0.308 9.458

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 85 205 102 98 308 0 130 144

N.S.

1 0.93 2.25 1.12 1.08 3.38 0.00 1.43 1.58

time (sec)

N/A 0.409 4.136 0.263 0.236 0.272 0.000 0.327 9.484

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 130 98 98 152 0 119 288

N.S.

1 1.00 1.46 1.10 1.10 1.71 0.00 1.34 3.24

time (sec)

N/A 0.367 0.789 0.192 0.311 0.264 0.000 0.297 15.664

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 63 120 65 84 125 0 102 183

N.S.

1 0.89 1.69 0.92 1.18 1.76 0.00 1.44 2.58

time (sec)

N/A 0.274 0.143 0.167 0.313 0.251 0.000 0.306 13.229

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 42 119 54 57 101 0 89 117

N.S.

1 0.98 2.77 1.26 1.33 2.35 0.00 2.07 2.72

time (sec)

N/A 0.239 0.491 0.150 0.296 0.285 0.000 0.320 9.642

Problem 762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 69 45 65 126 0 38 39

N.S.

1 1.00 1.57 1.02 1.48 2.86 0.00 0.86 0.89

time (sec)

N/A 0.304 0.345 0.193 0.213 0.279 0.000 0.289 9.079

Problem 763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 96 68 72 192 0 98 86

N.S.

1 1.00 1.66 1.17 1.24 3.31 0.00 1.69 1.48

time (sec)

N/A 0.389 0.538 0.215 0.212 0.290 0.000 0.291 10.329

Problem 764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 124 93 124 300 0 116 124

N.S.

1 1.00 1.44 1.08 1.44 3.49 0.00 1.35 1.44

time (sec)

N/A 0.386 1.006 0.258 0.217 0.290 0.000 0.312 9.529

Problem 765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 103 125 115 162 178 0 167 363

N.S.

1 0.93 1.13 1.04 1.46 1.60 0.00 1.50 3.27

time (sec)

N/A 0.355 5.797 0.325 0.323 0.276 0.000 0.411 16.689

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 83 115 98 117 154 0 119 288

N.S.

1 0.93 1.29 1.10 1.31 1.73 0.00 1.34 3.24

time (sec)

N/A 0.304 0.188 0.232 0.334 0.310 0.000 0.419 16.354

Problem 767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 71 145 81 97 125 0 102 183

N.S.

1 1.06 2.16 1.21 1.45 1.87 0.00 1.52 2.73

time (sec)

N/A 0.299 5.613 0.177 0.321 0.267 0.000 0.380 12.045

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 46 74 69 84 151 0 49 112

N.S.

1 0.96 1.54 1.44 1.75 3.15 0.00 1.02 2.33

time (sec)

N/A 0.288 0.349 0.208 0.331 0.270 0.000 0.381 9.936

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 54 96 68 88 194 0 98 86

N.S.

1 0.96 1.71 1.21 1.57 3.46 0.00 1.75 1.54

time (sec)

N/A 0.312 0.702 0.274 0.232 0.280 0.000 0.444 10.022

Problem 770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 76 124 93 135 300 0 116 125

N.S.

1 0.95 1.55 1.16 1.69 3.75 0.00 1.45 1.56

time (sec)

N/A 0.337 1.039 0.293 0.213 0.293 0.000 0.757 9.799

Problem 771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 92 211 119 160 354 0 148 160

N.S.

1 0.94 2.15 1.21 1.63 3.61 0.00 1.51 1.63

time (sec)

N/A 0.360 6.480 0.322 0.214 0.273 0.000 0.386 10.886

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 67 148 98 236 80 0 125 129

N.S.

1 0.81 1.78 1.18 2.84 0.96 0.00 1.51 1.55

time (sec)

N/A 0.457 0.861 0.331 0.293 0.258 0.000 0.338 14.313

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 62 111 69 154 70 0 77 79

N.S.

1 0.89 1.59 0.99 2.20 1.00 0.00 1.10 1.13

time (sec)

N/A 0.439 0.612 0.225 0.328 0.268 0.000 0.331 12.636

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 48 106 48 90 47 0 68 47

N.S.

1 0.96 2.12 0.96 1.80 0.94 0.00 1.36 0.94

time (sec)

N/A 0.356 0.068 0.159 0.205 0.245 0.000 0.299 9.770

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 104 61 110 47 0 57 60

N.S.

1 1.00 2.81 1.65 2.97 1.27 0.00 1.54 1.62

time (sec)

N/A 0.354 0.435 0.158 0.209 0.253 0.000 0.293 10.835

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 64 149 79 136 115 0 83 92

N.S.

1 0.81 1.89 1.00 1.72 1.46 0.00 1.05 1.16

time (sec)

N/A 0.412 0.583 0.316 0.193 0.277 0.000 0.290 12.417

Problem 777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 73 245 104 215 162 0 133 150

N.S.

1 0.78 2.63 1.12 2.31 1.74 0.00 1.43 1.61

time (sec)

N/A 0.451 0.859 0.392 0.197 0.269 0.000 0.305 10.460

Problem 778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 153 191 154 421 132 0 160 172

N.S.

1 1.03 1.28 1.03 2.83 0.89 0.00 1.07 1.15

time (sec)

N/A 0.514 1.154 0.759 0.295 0.301 0.000 0.334 19.851

Problem 779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 124 148 129 335 122 0 151 156

N.S.

1 1.03 1.23 1.08 2.79 1.02 0.00 1.26 1.30

time (sec)

N/A 0.512 1.077 0.546 0.302 0.266 0.000 0.349 17.435

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 110 143 104 249 112 0 103 105

N.S.

1 1.04 1.35 0.98 2.35 1.06 0.00 0.97 0.99

time (sec)

N/A 0.497 1.021 0.395 0.301 0.262 0.000 0.336 15.779

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 70 84 61 164 76 0 94 111

N.S.

1 1.06 1.27 0.92 2.48 1.15 0.00 1.42 1.68

time (sec)

N/A 0.488 0.641 0.278 0.215 0.264 0.000 0.327 11.069

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 77 86 74 184 77 0 94 132

N.S.

1 1.05 1.18 1.01 2.52 1.05 0.00 1.29 1.81

time (sec)

N/A 0.343 0.503 0.294 0.222 0.257 0.000 0.331 10.904

Problem 783

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 75 82 74 204 80 0 94 159

N.S.

1 1.06 1.15 1.04 2.87 1.13 0.00 1.32 2.24

time (sec)

N/A 0.416 0.490 0.283 0.232 0.286 0.000 0.405 11.713

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 119 196 109 250 168 0 109 117

N.S.

1 1.03 1.70 0.95 2.17 1.46 0.00 0.95 1.02

time (sec)

N/A 0.471 1.015 0.517 0.264 0.286 0.000 0.409 13.641

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 134 289 134 309 218 0 161 216

N.S.

1 1.03 2.22 1.03 2.38 1.68 0.00 1.24 1.66

time (sec)

N/A 0.534 1.012 0.553 0.227 0.282 0.000 0.400 14.122

Problem 786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 162 328 162 354 260 0 187 191

N.S.

1 1.03 2.08 1.03 2.24 1.65 0.00 1.18 1.21

time (sec)

N/A 0.579 1.280 0.704 0.219 0.272 0.000 0.428 12.919

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 155 224 159 421 159 0 177 182

N.S.

1 1.03 1.48 1.05 2.79 1.05 0.00 1.17 1.21

time (sec)

N/A 0.581 1.249 0.865 0.298 0.294 0.000 0.473 20.215

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 146 214 127 335 150 0 129 131

N.S.

1 1.03 1.51 0.89 2.36 1.06 0.00 0.91 0.92

time (sec)

N/A 0.580 1.146 0.671 0.300 0.288 0.000 0.670 20.172

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 106 104 74 230 104 0 120 135

N.S.

1 1.04 1.02 0.73 2.25 1.02 0.00 1.18 1.32

time (sec)

N/A 0.570 0.953 0.456 0.214 0.251 0.000 0.348 11.823

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 92 104 87 250 102 0 120 158

N.S.

1 1.05 1.18 0.99 2.84 1.16 0.00 1.36 1.80

time (sec)

N/A 0.540 0.726 0.432 0.210 0.254 0.000 0.356 12.559

Problem 791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 107 104 97 270 104 0 120 183

N.S.

1 1.04 1.01 0.94 2.62 1.01 0.00 1.17 1.78

time (sec)

N/A 0.418 0.600 0.431 0.217 0.261 0.000 0.337 12.499

Problem 792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 108 104 86 290 106 0 120 206

N.S.

1 1.09 1.05 0.87 2.93 1.07 0.00 1.21 2.08

time (sec)

N/A 0.545 0.590 0.466 0.216 0.277 0.000 0.331 11.314

Problem 793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 155 341 139 336 218 0 135 143

N.S.

1 1.03 2.26 0.92 2.23 1.44 0.00 0.89 0.95

time (sec)

N/A 0.545 0.908 0.771 0.218 0.264 0.000 0.308 12.664

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 166 351 164 395 265 0 187 274

N.S.

1 1.02 2.17 1.01 2.44 1.64 0.00 1.15 1.69

time (sec)

N/A 0.580 1.167 0.949 0.218 0.266 0.000 0.329 11.878

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 110 84 121 96 108 0 182 306

N.S.

1 0.94 0.72 1.03 0.82 0.92 0.00 1.56 2.62

time (sec)

N/A 0.429 0.544 0.423 0.295 0.277 0.000 0.324 16.944

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 96 76 112 87 98 0 134 243

N.S.

1 0.95 0.75 1.11 0.86 0.97 0.00 1.33 2.41

time (sec)

N/A 0.402 0.162 0.300 0.298 0.273 0.000 0.302 15.178

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 81 98 65 88 0 124 185

N.S.

1 1.00 1.12 1.36 0.90 1.22 0.00 1.72 2.57

time (sec)

N/A 0.263 0.016 0.250 0.310 0.311 0.000 0.319 14.516

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 57 69 64 55 75 0 74 117

N.S.

1 0.95 1.15 1.07 0.92 1.25 0.00 1.23 1.95

time (sec)

N/A 0.402 0.125 0.182 0.311 0.286 0.000 0.306 11.075

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 43 45 46 39 49 0 67 74

N.S.

1 0.96 1.00 1.02 0.87 1.09 0.00 1.49 1.64

time (sec)

N/A 0.357 0.017 0.150 0.219 0.268 0.000 0.318 10.002

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 33 36 26 50 0 53 50

N.S.

1 1.00 1.00 1.09 0.79 1.52 0.00 1.61 1.52

time (sec)

N/A 0.321 0.012 0.143 0.219 0.255 0.000 0.356 10.607

[next] [prev] [prev-tail] [front] [up]